[Alphabetical Index | Tag Index]

Semantic analysis

A phase of language processing that enforces the Static semantics of a language. Includes typechecking, Name binding, Overload resolution and checking other static constraints.